1. Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
المؤلف: Werner Damm.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer architecture.,Microprogramming.
رده :
QA76
.
9
.
A73
W476
1987
2. Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings
المؤلف: Werner Damm, Ernst-Rudiger Olderog )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
رده :
QA
76
.
L28
Vol
.
2469
